Second-order arithmetic - PDFSEARCH.IO - Document Search Engine

Second-order arithmetic
Results: 31

#	Item
11	Reverse Mathematics and a Weak Ramsey-Type K¨onig’s Lemma Ludovic Patey Laurent Bienvenu Add to Reading List Source URL: ludovicpatey.com Language: English - Date: 2013-04-16 05:41:23 Mathematics Logic Mathematical logic Proof theory Abstraction Computability theory Reverse mathematics Second-order arithmetic Theorem Lemma
12	Predicative Fragments of Frege Arithmetic Øystein Linnebo September 15, 2003 Abstract Frege Arithmetic (FA) is the second-order theory whose sole non-logical axiom is Hume’s Add to Reading List Source URL: oysteinlinnebo.org Language: English - Date: 2012-10-19 03:57:11
13	The provably total NP search problems of weak second order bounded arithmetic Leszek Aleksander Kolodziejczyk∗ Phuong Nguyen† Add to Reading List Source URL: www.cs.toronto.edu Language: English - Date: 2009-08-31 15:36:32
14	BRICS Basic Research in Computer Science BRICS RSU. Kohlenbach: On the Uniform Weak K¨onig’s Lemma On the Uniform Weak K¨onig’s Lemma Add to Reading List Source URL: www.brics.dk Language: English - Date: 1999-06-22 09:34:21 Proof theory Computability theory Functions and mappings Reverse mathematics Mathematical proofs Primitive recursive function Gödel–Gentzen negative translation Primitive recursive arithmetic Second-order arithmetic Mathematics Mathematical logic Logic
15	Plural Quantifiers John MacFarlane—Philosophy 142 February 24, 2011 1 Add to Reading List Source URL: johnmacfarlane.net Language: English - Date: 2011-02-24 14:22:05 Model theory Quantification Predicate logic Semantics First-order logic Second-order logic Interpretation Non-standard model of arithmetic Nonfirstorderizability Mathematical logic Logic Mathematics
16	Keio University Thesis Abstract No. Registration Add to Reading List Source URL: www.flet.keio.ac.jp Language: English - Date: 2011-01-10 04:43:39 Mathematics Conservative extension Second-order arithmetic Cut-elimination theorem Ordinal analysis Reverse mathematics Proof theory Mathematical logic Logic
17	Some hints on reading Boolos, “To Be is to Be. . . ” John MacFarlane—Philosophy 142 February 3, 2011 There are some things in this article that will only make sense to you if you’ve studied some metalogic and set Add to Reading List Source URL: johnmacfarlane.net Language: English - Date: 2011-02-03 15:19:17 Model theory Non-standard model of arithmetic Second-order logic S Plural quantification First-order logic Peano axioms Interpretation Compactness theorem Mathematical logic Logic Mathematics
18	Mona: decidable arithmetic in practice Morten Biehl1 , Nils Klarlund2, and Theis Rauhe3 BRICS, University of Aarhus ([removed]) AT&T Research ([removed]) 3 BRICS, University of Aarhus (theis@brics.d Add to Reading List Source URL: www.brics.dk Language: English - Date: 2007-03-08 16:49:23 Metalogic Model theory Combinatorics on words Automata theory Models of computation Second-order logic Interpretation First-order logic Finite-state machine Formal languages Logic Mathematics
19	Empiricism, Probability, and Knowledge of Arithmetic Sean Walsh, Department of Logic and Philosophy of Science, University of California, Irvine The topic of this paper is the tenability of a certain type of empiricism a Add to Reading List Source URL: www.pfeifer-research.de Language: English - Date: 2013-05-16 13:22:33 Proof theory Logic in computer science Computability theory Effective descriptive set theory Peano axioms Logicism Second-order arithmetic Philosophy of mathematics Axiom Mathematics Mathematical logic Logic
20	CZF and Second Order Arithmetic Robert S. Lubarsky∗ Dept. of Mathematical Sciences Florida Atlantic University Boca Raton, FL 33431, USA [removed] Add to Reading List Source URL: math.fau.edu Language: English - Date: 2006-07-10 16:24:56 Functions and mappings Model theory Constructive set theory Intuitionism Mathematical constructivism Interpretation Function Constructible universe Μ operator Mathematics Mathematical logic Logic